| Definitions |  , if p:P then A(p) else B fi , ff, Rplus-right(x1), Rplus-left(x1), Rplus?(x1), if b then t else f fi , Y, if nms1 and nms2 overlap then x else y fi, Rtransform(f;A),   x. t(x), t  T, R|names, P   Q,  x:A. B(x), A c B, P  Q, P & Q, False,  A, P  Q, Dec(P), x(s), Unit, Realizer, Rrframe(loc;x;L), Rbframe(loc;k;L), Raframe(loc;k;L), Rpre(loc;ds;a;p;P), Rsends(ds;knd;T;l;dt;g), Reffect(loc;ds;knd;T;x;f), Rsframe(lnk;tag;L), Rframe(loc;T;x;L), Rinit(loc;T;x;v), left  right,  , Rnone() |